Философский энциклопедический словарь - формализованный язык
Связанные словари
Формализованный язык
формализованный язык
— исчисление, к-рому приписана интерпретация (Интерпретация и модель). Синтаксическая часть Ф. я. (Логический синтаксис), или само исчисление, образуется чисто формально (Логистический метод). Исчисление становится Ф. я. при добавлении семантических правил, приписывающих значения (Значение и смысл) правильно построенным выражениям исчисления. Ф. я. может помимо чисто логических аксиом содержать также нек-рые утверждения нелогического характера (напр., нек-рые законы биологии, аксиомы арифметики и др.), тогда Ф. я. дедуктивно описывает соответствующую содержательную область. Ф. я. благодаря своим дедуктивным средствам дает возможность проводить строгое рассуждение и получать новые дедуктивно выводимые следствия, непосредственно не содержащиеся в принятых аксиомах. Т. обр., Ф. я. является аппаратом вывода и доказательства в формализуемых научных дисциплинах. Роль Ф. я. велика в связи с попытками осуществления автоматизации научного рассуждения посредством электронных машин (Кибернетика).
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2500 | |
2 | 2319 | |
3 | 1988 | |
4 | 1975 | |
5 | 1913 | |
6 | 1825 | |
7 | 1721 | |
8 | 1657 | |
9 | 1638 | |
10 | 1504 | |
11 | 1424 | |
12 | 1385 | |
13 | 1376 | |
14 | 1372 | |
15 | 1248 | |
16 | 1070 | |
17 | 1059 | |
18 | 1057 | |
19 | 1032 | |
20 | 961 |